退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用计算机做逻辑:在直觉命题逻辑的片段中进行插值
Hendriks, A.;
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:直觉命题逻辑及其片段的复杂性
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:直观的时间线性逻辑片段中的逻辑编程
机译:模态和直觉性命题的片段。
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:制造逻辑量子计算机和超导设备的组件的方法逻辑量子计算机,使用该设备的逻辑量子计算机和应用设备,制造超流体物质的方法以及应用设备
机译:计算机辅助逻辑电路设计装置计算机辅助逻辑电路设计系统及计算机辅助逻辑电路设计方法
机译:用于允许第一计算机程序执行第二计算机程序的应用逻辑,获取第一计算机程序和计算机程序的第二接口的方法和装置的方法和装置,用于第一计算机程序的计算机程序和软件接口可以执行第二计算机程序的应用程序逻辑,以生成计算机程序代码,提供的方法(计算机程序接口)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。